Formally-defined security
[计] 形式定义的安全性模型
🧩 词语组成解析
formally
[['fɔ:məli]]
adv. 正式地, 形式上
a. 清晰的, 轮廓分明的；有定义的, 确定的
🗣️ 情景例句
to ask Dad to sign as a guarantor.
请爸爸当担保人为我签字。
Never trust another what you should do yourself.
自己应该做的事，决不要委托别人做。
I was born in a town near London. But we live in London now.
我出生于牛津附近的一个小镇。不过我们现在住在伦敦。